Test Case Generation from Formal Models of Cyber Physical System
نویسندگان
چکیده
Formal methods and testing are two important approaches that assist in the development of cyber physical systems. Formal specification can be used to assist testing and Formal methods and testing are seen as complementary. In this paper, we address the problem of generating test cases for cyber physical systems from formal specifications using differential dynamic logic(DL), a logic for specifying and verifying hybrid systems.
منابع مشابه
Generating Test Cases for Cyber Physical Systems from Formal Specifications
Formal methods and testing are two important approaches that assist in the development of cyber physical systems. Formal specification can be used to assist testing and Formal methods and testing are seen as complementary. In this paper, we address the problem of generating test cases for cyber physical systems from formal specifications, and reduce an infinite set of testing parameters into a ...
متن کاملFrom Software Architecture Structure and Behavior Modeling to Implementations of Cyber-Physical Systems
Software development for Cyber-Physical Systems (CPS) is a sophisticated activity as these systems are inherently complex. The engineering of CPS requires composition and interaction of diverse distributed software modules. Describing both, a system’s architecture and behavior in integrated models, yields many advantages to cope with this complexity: the models are platform independent, can be ...
متن کاملConformance Testing of Cyber-Physical Systems: A Comparative Study
For systematic and automatic testing of cyber-physical systems, in which a set of test cases is generated based on a formal specification, a number of notions of conformance testing have been proposed. In this paper, we review two existing theories of conformance testing for cyber-physical systems and compare them. We point out their fundamental differences, and prove under which assumptions th...
متن کاملA PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems
This paper presents a methodology, with supporting tool, for formal modeling and analysis of software components in cyber-physical systems. Using our approach, developers can integrate a simulation of logic-based specifications of software components and Simulink models of continuous processes. The integrated simulation is useful to validate the characteristics of discrete system components ear...
متن کاملUncertainty-wise Test Case Generation and Minimization for Cyber-Physical Systems
Cyber-Physical Systems (CPSs) typically operate in highly indeterminate environmental conditions, which require the development of testing methods that must explicitly consider uncertainty in test design, test generation, and test optimization. Towards this direction, we propose uncertainty-wise test case generation and test case minimization strategies that rely on test ready models explicitly...
متن کامل